Toward a formal specification of menu-based systems
نویسندگان
چکیده
منابع مشابه
Formal Specification of Object-Based Distributed Systems
* This work is partially supported by HP Brasil PUCRS agreement CASCO (24o TA.). † This author is partially supported by CNPq (Brazil). Abstract. In this paper we present the main characteristics of a graphical and declarative formal specification language, called Object Based Graph Grammars (OBGG), suitable for the specification of distributed systems. We show how one can use OBGG by modeling ...
متن کاملFormal Specification of Object Systems
The conceptual modeling of the Universe of Discourse (UoD) is an important phase for the development of information systems because the conceptual model is the basis for system development. Conceptual model specifications must be formal in order to be precise and unambiguous and to support consistency and completeness checks. The object-oriented paradigm is suitable for providing an integrated ...
متن کاملToward a Formal Characterization of Policy Specification & Analysis
Policy-based management of the security of a military communications network can simplify the configuration process, while increasing security and availability. An effective policy-based approach requires analysis of policies for inconsistencies, and for desired security properties. It also must provide for the refinement of high-level security goals into concrete policies. This paper defines a...
متن کاملContract-Based Formal Specification of Safety Critical Systems
The paper proposes an approach to light-weight formal specification for interfaces, connectors, contracts and integration of component systems based on UML 2.0 superstructure. Both of static and dynamic contracts are provided with formal models. Dynamic contract can be verified through finding a legal environment in an optimistical way for the integrated components, whose contracts are depicted...
متن کاملFormal Specification of Computer-Based Systems J.UCS Special Issue
The ever-expanding application of increasingly sophisticated computer-based systems (CBS) in a diversity of fields such as engineering, science, commerce and education, demands better understanding of the scale, complexity and heterogenity in the specification, analysis, design of such systems and highlights the practical need for better formal approaches and better tool development. Formal spe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Systems and Software
سال: 1987
ISSN: 0164-1212
DOI: 10.1016/0164-1212(87)90009-4